$\vdash$  $\forall$$x$,$y$:Atom. ($\neg$($\uparrow$$x$ =a $y$)) $\Leftarrow\!\Rightarrow$ $x$ $\neq$ $y$ $\in$ Atom